Triodic Logic and its Use in Structured Program Design
نویسندگان
چکیده
منابع مشابه
identifying the strategies persian efl learners use in reading an expository text in english and examining its relation to reading-proficiency and motivation: a think-aloud study
هدف اصلی از این مطالعه بررسی نوع و میزان استراتژی هایی بود که دانشجویان فارسی زبان رشته ی زبان انگلیسی در حین خواندن یک متن انگلیسی به کار گرفتند. این مطالعه همچنین به بررسی تفاوت های استراتژی های مورد استفاده بین دارندگان سطح بالا و پایین درک مطلب پرداخت. نوع همبستگی بین استراتژی به کار گرفته و درک مطلب از یک سو و استراتژی به کار گرفته و انگیزه از سوی دیگر نیز در این تحقیق مورد آزمایش قرار گرف...
15 صفحه اولA Logic Program Schema and Its Applications
In t h i s paper we cons ide r a . spec i f i c type of l o g i c programs ca l led recursive-schema programs and show t h a t the c l ass of r ecu rs i ve -schema programs has s u f f i c i e n t e x p r e s s i v e c a p a b i l i t y , which provides an a l t e r n a t i v e simple proof fo r the resultby Tarnlund concerning the computat ional power of Horn c lause programs. F u r t h e r , ...
متن کاملSimplifying A Logic Program Using Its Consequences
A consequence of a logic program is a consistent set of literals that are satisfied by every answer set. The well-founded model is a consequence that can be used to simplify the logic program. In this paper, we extend the notion of well-founded models to consequences for simplifying disjunctive logic programs (DLPs) in a general manner. Specifically, we provide two main notions, strong reliable...
متن کاملParallelism in logic: its potential for performance and program development
This book, written by the recognized expert in the field of neural networks (NN) and fuzzy systems (FS) deals with a topic in the forefront of intensive research in many universities and institutions worldwide. Whereas the applications of NN and FS in commercial products are spreading, deep understanding of their models and principles of operation are lagging behind. This book may correct that ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1982
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/25.2.218